pauli spin matrices derivation